Report on the Aachen OCL Meeting
نویسندگان
چکیده
As a continuation of the OCL workshop during the MODELS 2013 conference in October 2013, a number of OCL experts decided to meet in November 2013 in Aachen for two days to discuss possible short term improvements of OCL for an upcoming OMG meeting and to envision possible future long-term developments of the language. This paper is a sort of “minutes of the meeting” and intended to quickly inform the OCL community about the discussion topics.
منابع مشابه
Panel Discussion: Proposals for Improving OCL
During the panel session at the OCL workshop, the OCL community discussed, stimulated by short presentations by OCL experts, potential future extensions and improvements of the OCL. As such, this panel discussion continued the discussion that started at the OCL meeting in Aachen in 2013 and on which we reported in the proceedings of the last year’s OCL workshop. This collaborative paper, to whi...
متن کاملSemantic Issues of OCL: Past, Present, and Future
We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized, machine-checked semantic basis for a theorem proving environment for OCL (as an example for an objectoriented specification formalism) which is as faithful as possible to the original informal semantics. We report on vari...
متن کاملO4: Status of Road Safety and Injury Burden: Europe
Road traffic injuries are an ongoing global health burden and cause more than 1.2 million deaths per year. In Europe, the annual socioeconomic impact accounts for €130 billion. In 2011, the United Nations set a special focus on road safety and injury prevention by the proclamation of the “Decade of Action for Road Safety.” This initiative focuses mainly on developing countries. In Germany, many ...
متن کاملOCL Tools Report based on the IDE4OCL Feature Model
Previously we have developed the idea of an Integrated Development Environment for OCL (IDE4OCL). Based on the OCL community’s feedback we have also designed and published an IDE4OCL feature model. Here we present a report on selected OCL tools developed by the authors and their teams. Each author gives an overview of their OCL tool, provides a top level architecture, and gives an evaluation of...
متن کاملBuilding an Efficient Component for OCL Evaluation
In this paper we report on our experience developing the Eye OCL Software (EOS) evaluator, a Java component for efficient OCL evaluation. We first motivate the need for an efficient implementation of OCL in order to cope with novel usages of the language. We then discuss some aspects that, based on our experience, should be taken into account when building an OCL evaluator for medium-large scen...
متن کامل